Pseudocompact algebras, profinite groups and class formations
نویسندگان
چکیده
منابع مشابه
Profinite Heyting Algebras and Profinite Completions of Heyting Algebras
This paper surveys recent developments in the theory of profinite Heyting algebras (resp. bounded distributive lattices, Boolean algebras) and profinite completions of Heyting algebras (resp. bounded distributive lattices, Boolean algebras). The new contributions include a necessary and sufficient condition for a profinite Heyting algebra (resp. bounded distributive lattice) to be isomorphic to...
متن کاملNon-Abelian Pseudocompact Groups
Here are three recently-established theorems from the literature. (A) (2006) Every non-metrizable compact abelian group K has 2|K|-many proper dense pseudocompact subgroups. (B) (2003) Every non-metrizable compact abelian group K admits 22 |K| -many strictly finer pseudocompact topological group refinements. (C) (2007) Every non-metrizable pseudocompact abelian group has a proper dense pseudoco...
متن کاملPseudocompact groups : progress and problems ✩
Several months ago the speaker and Jan van Mill gave a proof of this result [W.W. Comfort, J. van Mill, Extremal pseudocompact abelian groups are compact metrizable, Abstracts Amer. Math. Soc. 27 (2006) 78 (Abstract #1014-22-958); W.W. Comfort, J. van Mill, Extremal pseudocompact abelian groups are compact metrizable, Proc. Amer. Math. Soc. 135 (2007) 4039–4044]: A pseudocompact abelian group o...
متن کاملProfinite Groups
γ = c0 + c1p+ c2p + · · · = (. . . c3c2c1c0)p, with ci ∈ Z, 0 ≤ ci ≤ p− 1, called the digits of γ. This ring has a topology given by a restriction of the product topology—we will see this below. The ring Zp can be viewed as Z/pZ for an ‘infinitely high’ power n. This is a useful idea, for example, in the study of Diophantine equations: if such an equation has a solution in the integers, then it...
متن کاملProfinite Heyting Algebras
For a Heyting algebra A, we show that the following conditions are equivalent: (i) A is profinite; (ii) A is finitely approximable, complete, and completely joinprime generated; (iii) A is isomorphic to the Heyting algebra Up(X) of upsets of an image-finite poset X. We also show that A is isomorphic to its profinite completion iff A is finitely approximable, complete, and the kernel of every fi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Algebra
سال: 1966
ISSN: 0021-8693
DOI: 10.1016/0021-8693(66)90034-2